| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 558118 | ||
| Vorlesung | 558119 | Di 16:30-18:00 AH I (2350|028) (×11) Mi 08:30-10:00 AH I (2350|028) (×13) | |||
| Übung | 558120 | Do 12:30-14:00 IPC Hörsaal (2400|U101) (×15) | |||
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 9 | 541304 | ||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 544584 | ||
| Analyse von Algorithmen | Fach-/Modulprüfung | 8 | 541405 | ||
| Vorlesung | 560022 | Mi 10:30-12:00 5055 (2356|055) (×14) Fr 10:30-12:00 AH III (2350|314.1) (×15) | |||
| Compilerbau | Fach-/Modulprüfung | 6 | 541246 | ||
| Concurrency Theory | Fach-/Modulprüfung | 6 | 541087 | ||
| Vorlesung | 558581 | Di 14:30-16:00 AH II (2350|111) (×9) Do 14:30-16:00 AH II (2350|111) (×9) | |||
| Übung | 558582 | Fr 08:30-10:00 AH III (2350|314.1) (×13) | |||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 542473 | ||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 541500 | ||
| Vorlesung/Übung | 537540 | Mo 09:15-13:30 Großer B-IT Raum (2356|053.2) (×1) Mi 08:30-10:00 AH IV (2354|030) (×13) Do 10:30-12:00 AH V (2356|050) (×13) Fr 12:30-13:15 5056 (2356|056) (×12) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 544594 | ||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 545132 | ||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 541566 | ||
| Vorlesung | 537617 | Mo 10:30-12:00 5056 (2356|056) (×13) | |||
| Übung | 537387 | Di 14:00-15:00 Seminarraum i7, Raum 4116 (2353|116) (×1) Do 10:30-12:00 5056 (2356|056) (×12) Do 14:15-15:45 AH IV (2354|030) (×1) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 541541 | ||
| Vorlesung | 557994 | Mi 08:30-10:00 AH III (2350|314.1) (×12) Do 16:30-18:00 AH II (2350|111) (×9) | |||
| Übung | 557995 | Mi 14:30-16:00 AH II (2350|111) (×11) Mi 14:30-16:00 AH IV (2354|030) (×1) | |||
| Logik und Spiele | Fach-/Modulprüfung | 9 | 543270 | ||
| Fach-/Modulprüfung | 9 | 543271 | |||
| Machine Learning with Graphs: Foundations and Applications | Fach-/Modulprüfung | 6 | 558736 | ||
| Vorlesung/Übung | 557902 | Mo 08:30-10:00 H05 (1385|105) (×15) Mi 12:30-14:00 IPC Hörsaal (2400|U101) (×14) Fr 12:30-14:00 H05 (1385|105) (×15) | |||
| Mathematische Logik II | Fach-/Modulprüfung | 9 | 541301 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 544576 | ||
| Vorlesung | 537573 | Di 10:00-11:30 AH VI (2356|051) (×1) Mi 12:30-14:00 AH III (2350|314.1) (×10) Do 09:00-11:30 AH VI (2356|051) (×1) Do 10:30-12:00 AH I (2350|028) (×12) | |||
| Übung | 536600 | Fr 14:30-16:00 AH III (2350|314.1) (×11) | |||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 542149 | ||
| Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 544577 | ||
| Post-quantum cryptography | Fach-/Modulprüfung | 6 | 543244 | ||
| Vorlesung/Übung | 539191 | Di 16:30-18:00 AH IV (2354|030) (×14) Mi 16:30-18:00 AH I (2350|028) (×14) Fr 14:30-16:00 AH I (2350|028) (×12) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 541432 | ||
| Vorlesung | 558579 | Mi 16:30-18:00 AH III (2350|314.1) (×11) Do 08:30-10:00 AH I (2350|028) (×9) | |||
| Übung | 558580 | Mo 10:30-12:00 AH III (2350|314.1) (×11) Fr 14:30-16:00 AH VI (2356|051) (×1) | |||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 544543 | ||
| Stochastic Games | Fach-/Modulprüfung | 6 | 545666 | ||
| The Graph Isomorphism Problem | Übung | 574263 | |||
| Vorlesung | 574262 | ||||
| Theory of Distributed Systems | Fach-/Modulprüfung | 6 | 575640 |